MGI:1856833 cryptohrix http://identifiers.org/mgd/MGI:1856833 crhx